Modularity results for interpolation, amalgamation and superamalgamation
نویسندگان
چکیده
منابع مشابه
Amalgamation and Interpolation in Ordered Algebras
The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension prope...
متن کاملAmalgamation properties and interpolation theorems for equational theories
DEFINITION 0.1. Let Fx, F2, F be subsets of a boolean algebra B. Then the (F1, F2, F)-Separation Principle, written Sep(F~, F2, F) for short, is the following: whenever aEF1, bEF2 and a ^ b = O , there is c~F with a<.c and cAb=O. The (F1, F2, F)-Interpolation Principle, written Int(Ft , F2, F) for short, is the following: whenever a~F1, b~F2 and a<.b there is ceF such that a<~c<~b. Clearly Int ...
متن کاملModularity and Interpolation in a Development Workspace
The potential beneets of a uniform version of interpolation are hindered by its absence from many expressive logics. This motivates a thorough investigation of appropriate expansions of known entailments so that an easy-to-derive, uniform presentation of the interpolants is supported. This paper presents the skeleton of a general construction and indicates that a potentially large class of enta...
متن کاملAmalgamation and Interpolation in the Category of Heyting Algebras
This is the first of two papers describing how properties of open continuous maps between locales (which are the lattice-theoretic generalisation of topological spaces) can be used to give very straight-forward, constructive proofs of certain properties of first-order intuitionistic theories. The properties we have in mind are those of stability of a conservative interpretation of theories unde...
متن کاملglobal results on some nonlinear partial differential equations for direct and inverse problems
در این رساله به بررسی رفتار جواب های رده ای از معادلات دیفرانسیل با مشتقات جزیی در دامنه های کراندار می پردازیم . این معادلات به فرم نیم-خطی و غیر خطی برای مسایل مستقیم و معکوس مورد مطالعه قرار می گیرند . به ویژه، تاثیر شرایط مختلف فیزیکی را در مساله، نظیر وجود موانع و منابع، پراکندگی و چسبندگی در معادلات موج و گرما بررسی می کنیم و به دنبال شرایطی می گردیم که متضمن وجود سراسری یا عدم وجود سراسر...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2018
ISSN: 0168-0072
DOI: 10.1016/j.apal.2018.04.001